Logic-based Benders decomposition with a partial assignment acceleration technique for avionics scheduling

Pre-runtime scheduling of large-scale electronic systems, as those in modern aircraft, can be computationally challenging. In this paper, we study a distributed integrated modular avionic system practical relevance where the includes to assign communication messages time slots and sequence tasks on modules. For problem, challenge is huge number scheduled intricate interaction between task scheduling. We present method based Logic-Based Benders Decomposition (LBBD) solve problem. master formulated mixed-integer program, are assigned subproblem, constraint scheduled. Our LBBD scheme accelerated by using cut strengthening, subproblem relaxation, components for preprocessing initialisation scheme. The strengthening kind that systematically investigates subsets variables include solving additional subproblems. To further enhance efficiency scheme, propose new strategy extends also try construct feasible solutions information from computational evaluation publicly available instances with up 2530 54,731 tasks. It shows our outperforms previous methods problem respect both solution times RAM usage. A different acceleration important achieve these results. • MIP-CP hybrid an assignment Acceleration technique extending search solutions. Solve relaxation subproblems find stronger cuts. restriction Outperforms industrially relevant avionics